qdot(${\it as}$;${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$p$,$x$. (($p$.1) $\ast$ ($p$.2)) + $x$;0;zip(${\it as}$;${\it bs}$))